https://www.passeidireto.com/pergunta/125815969/o-que-e-o-problema-da-decidibilidade-na-logica-matematica-a-ele-investiga-a-exis